(declare-fun _substvar_246_ () Bool)
(declare-const v1 Bool)
(declare-const r0 Real)
(declare-const r9 Real)
(declare-const v24 Bool)
(declare-const v41 Bool)
(push)
(assert (or _substvar_246_ v24 (= v1 true v41)))
(assert (>= (* (+ r0 0.0 0.0 84.0 0.0) 921072.0 r0 23794.15048 (- (abs r9))) 84.0))
(check-sat)
